package formula;

public abstract class Formula {
    public abstract boolean isNegated(Formula f);
    public abstract Formula getNegated();

//    // 重写equals方法
//    @Override
//    public boolean equals(Object obj) {
//
//        // 检查是否是同一个对象
//        if (this == obj) {
//            return true;
//        }
//
//        // 检查是否是Formula类型，并避免NullPointerException
//        if (obj == null || getClass() != obj.getClass()) {
//            return false;
//        }
//
//        // 将obj转换为Formula类型
//        Formula other = (Formula) obj;
//
//        // 比较主要属性来确认是否相等
//        return Objects.equals(expression, other.expression);
//    }
//
//
//
//
//
//
}

